1.1.1.3. core.NonNullParamChecker (C, C++, ObjC)
Check for null pointers passed as arguments to a function whose arguments are references or marked with the 'nonnull' attribute.

Examples:

int f(int *p) __attribute__((nonnull));

void test(int *p) {
  if (!p)
    f(p); // warn
}